منابع مشابه
Algebraic Groups up to Abstract Isomorphism
With any connected affine algebraic group G over an algebraically closed field K of characteristic zero, we associate another connected affine algebraic group D over K and a finite central subgroup F of D such that, up to isomorphism of algebraic groups, affine algebraic groups over K abstractly isomorphic to G are precisely of the form D/α(F )×Ks +, where α is an abstract automorphism of D and...
متن کاملThe Classification of Torsion-free Abelian Groups of Finite Rank up to Isomorphism and up to Quasi-isomorphism
We prove that the isomorphism and quasi-isomorphism relations on the p-local torsion-free abelian groups of fixed finite rank n are incomparable with respect to Borel reducibility.
متن کاملDistributed State Space Generation for Graphs up to Isomorphism
In order to achieve reliability of systems, formal verification techniques are required. We model systems as graph transition systems, where states are represented by graphs and transistions between states are defined by graph transformation rules. For formal verication, often the state space of the system has to be generated, i.e., the set of all reachable states. The main problem with generat...
متن کاملArtin groups of spherical type up to isomorphism
We prove that two Artin groups of spherical type are isomorphic if and only if their defining Coxeter graphs are the same. AMS Subject Classification: Primary 20F36.
متن کاملGEM++: A Tool for Solving Substitution-Tolerant Subgraph Isomorphism
The substitution-tolerant subgraph isomorphism is a particular error-tolerant subgraph matching that allows label substitutions for both vertices and edges. Such a matching is often required in pattern recognition applications since graphs extracted from images are generally labeled with features vectors computed from raw data which are naturally subject to noise. This paper describes an extend...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 1993
ISSN: 1875-8681,0169-2968
DOI: 10.3233/fi-1993-191-204